| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Formale Systeme, Automaten, Prozesse | Übung | 382293 | Di 14:30-16:00 H02 (1385|102) (×6) | ||
| Vorlesung | 382069 | Mi 10:15-11:00 AH V (2356|050) (×1) Mi 10:30-12:00 AachenMünchener Halle (Aula) (1010|131) (×8) Do 10:00-14:00 AH IV (2354|030) (×1) Fr 08:15-14:00 AH IV (2354|030) (×1) Fr 10:30-12:00 H02 (1385|102) (×5) | |||
| Fach-/Modulprüfung | 6 | 385949 | |||
| Tutorium | 380893 | Mo 08:30-10:00 5054 (2356|054) (×12) Mo 08:30-10:00 5055 (2356|055) (×12) Mo 08:30-10:00 HKW 3 (1132|504) (×12) Mo 08:30-10:00 HKW 4 (1132|503) (×12) Mo 08:30-10:00 HSZ (2110|112) (×12) Mo 08:30-10:00 RS 3 (3990|003) (×12) Mo 08:30-10:00 S08 (1385|208) (×12) Mo 08:30-10:00 S13 (1385|213) (×12) Di 08:30-10:00 5052 (2356|052) (×12) Di 08:30-10:00 5055 (2356|055) (×12) Di 08:30-10:00 5056 (2356|056) (×12) Di 08:30-10:00 HKW 4 (1132|503) (×12) Di 08:30-10:00 HSZ (2110|112) (×12) Di 08:30-10:00 RS 108 (3990|108) (×12) Di 08:30-10:00 RS 3 (3990|003) (×12) Di 08:30-10:00 S05 (1385|205) (×12) Di 08:30-10:00 S06 (1385|206) (×12) Di 08:30-10:00 S15 (1385|215) (×12) Di 08:30-10:00 UMIC_025 (2165|025) (×12) Di 10:15-11:00 t.b.d. (×13) Di 10:30-12:00 5055 (2356|055) (×11) Di 10:30-12:00 HKW 3 (1132|504) (×11) Di 10:30-12:00 HKW 4 (1132|503) (×11) Di 10:30-12:00 HSZ (2110|112) (×11) Di 10:30-12:00 RS 3 (3990|003) (×11) Di 10:30-12:00 UMIC_025 (2165|025) (×11) | |||
| Mathematische Logik I | Vorlesung | 382385 | Di 13:00-15:00 AH II (2350|111) (×1) Mi 14:30-16:00 Roter Hörsaal AM (Ro) (1420|002) (×13) Do 14:30-16:00 Grüner Hörsaal AM (Gr) (1420|001) (×12) | ||
| Fach-/Modulprüfung | 7 | 386771 | |||
| Tutorium | 382366 | Mo 12:30-14:00 5055 (2356|055) (×13) Di 12:30-14:00 5055 (2356|055) (×13) Di 14:30-16:00 5055 (2356|055) (×14) Di 15:00-17:15 Sparkassenforum (nur ePruefungen) (1040|U234) (×1) Mi 16:30-18:00 AH VI (2356|051) (×13) Mi 18:30-20:00 AH III (2350|314.1) (×13) Do 08:30-10:00 AH I (2350|028) (×12) Do 10:30-12:00 5052 (2356|052) (×11) Do 16:30-18:00 AH VI (2356|051) (×12) Do 16:30-19:30 Großer Hörsaal AM (1420|210) (×1) Fr 10:30-12:00 5052 (2356|052) (×12) Fr 12:30-14:00 5054 (2356|054) (×12) Fr 12:30-14:00 AH VI (2356|051) (×12) |